The Ackermann Award 2015

نویسندگان

  • Anuj Dawar
  • Dexter Kozen
  • Simona Ronchi Della Rocca
چکیده

The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This year, again, the EACSL Ackermann Award is generously sponsored by the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the Kurt Gödel Society has also committed to inviting the recipients of the Award for a special lecture to be given to the Society in Vienna. The 2015 Ackermann Award was open to PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as theses for the award of a PhD degree at a university or equivalent institution between 1 January 2013 and 31 December 2014. The Jury received ten nominations for the Ackermann Award 2015. The candidates came from a number of different countries across the world. The institutions at which the nominees obtained their doctorates represent eight countries in Europe, North America, and the Middle East. The topics covered a wide range of Logic and Computer Science as represented by the LICS and CSL Conferences. All submissions were of a very high standard and contained remarkable contributions to their particular fields. The Jury wishes to extend its congratulations to all nominated candidates for their outstanding work. The Jury encourages them to continue their scientific careers and hopes to see more of their work in the future. The task of the jury proved very difficult, and opinions were divided. In the end, the jury decided to award the 2015 Ackermann Award jointly to two dissertations. The winners are (in alphabetical order): Hugo Férée from France, for his thesis Complexité d’ordre supérieur et analyse récursive approved by the Université de Lorraine, France, in 2014, supervised by Jean-Yves Marion and Mathieu Hoyrup; and Mickael Randour from Belgium, for his thesis Synthesis in Multi-Criteria Quantitative Games approved by the Université de Mons, Belgium, in 2014, supervised by Véronique Bruyère and Jean-François Raskin. Digital Object Identifier 10.4230/LIPIcs.CSL.2015.xv

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Ackermann Award 2013

The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the previous three years, the EACSL Ackermann Award is generously sponsored by the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the Kurt Gödel Society has also committed to inviting the recipient of the Award for a special lecture to be given to the Society in Vienna. The...

متن کامل

The Ackermann Award 2009

The fifth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which the EACSL Ackermann Award is generously sponsored. Our sponsor is the world’s leading provider of personal peripherals, Logitech S.A., situated in Romanel, Switzerland. Eligible for the 2009 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences...

متن کامل

The Ackermann Award 2017

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). This contribution reports on the 2017 edition of the award. 1998 ACM Subject Classification F.3 Logics and Meanings of Programs, F.4 Mathematical Logic and Formal Languages

متن کامل

The Ackermann Award 2016

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). This contribution reports on the 2016 edition of the award. 1998 ACM Subject Classification F.3 Logics and Meanings of Programs, F.4 Mathematical Logic and Formal Languages

متن کامل

The Ackermann Award 2007

The third Ackermann Award is presented at this CSL’07. This is the first year in which the EACSL Ackermann Award is generously sponsored. Our sponsor for the next three years is the worlds leading provider of personal peripherals, Logitech S.A., situated in Romanel, Switzerland. Eligible for the 2007 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences, w...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015